A Positive Formalization for the Notion of Pragmatic Truth

A logic aimed to formalize the concept of pragmatic truth is presented. We start by examining a previous attempt of formalization by da Costa and collaborators, reported in [5], [3] and [2]. However, their formalization works as mere possibility in face of what is known, or assumed. It is pointed out here that not being in conflict with the assumed knowledge is not enough to regard a proposition as a truth of any sort, providing just a necessary condition. A typical picture of the way a scientific theory evolves exhibit alternative hypothesis competing for expanding the theory. In our view, a pragmatic knowledge, at this stage of development of the theory, is one that can be taken as true under all those competing hypothesis. The logic presented here formalizes this process of theory evolution in order to properly express the notion of pragmatic truth as we understand it.